#include <stdio.h>

int main(int argc,char*argv[]){
	int i;
	for(i=7;i<12;i++){
		printf("outer:%d\n",i);
		for(i=6;i<10;i++){
			printf("inner:%d\n",i);
		}
		printf("out:%d\n",i);
	}
}
